signature CONTROL =
sig
  val doShowVersion	: bool ref  
  val doShowPass 	: bool ref  
  val doKeepAssembly 	: bool ref  
  val doSetFileName     : bool ref
  val doShowIdNums	: bool ref
  val doToSsa           : bool ref
  val doSsaOpt          : bool ref
  val doSkipReturn      : bool ref
  val doShowOptVerbose  : bool ref
  val doRaOpt           : bool ref
  val fileName          : string ref
  
  val doKeepAst         : bool ref
  val doKeepIr          : bool ref
  val doKeepCfg         : bool ref
  val doKeepSsa         : bool ref
  val doKeepMachine     : bool ref
  val doKeepAsm         : bool ref
end
